[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Visualisierung und Prüfung von SESAM-Modellen

contributor Software Engineering (IFI)
creator Müller, Simon
date 2003
description 80 pages
Das SESAM-System ist ein Simulator für Softwareentwick-lungsprojekte und dient der Ausbildung angehender Pro-jektleiter. Ausbildungsszenarien für den Simulator werden mit der regelbasierten SESAM-Hochsprache in SESAM-Modellen beschrieben. Die Abhängigkeiten zwischen den Regeln untereinander, den Zustandsveränderungen und dem Zustand sind komplex. Die Wartung der Modelle hat sich als schwierig herausgestellt, da sich die Folgen von Veränderungen am Modell im gesamten Projektverlauf be-merkbar machen können. Diese Diplomarbeit beschäftigt sich mit Möglichkeiten zur Visualisierung und automatischen Prüfung der regelbasier-ten SESAM-Hochsprachenmodelle. Ziel ist eine übersicht-liche Darstellung der Modellstrukturen und eine einfache Navigation durch das SESAM-Modell. Eine automatische Prüfung der Modelle soll sowohl die Arbeit mit dem Modell als auch die Fehlersuche unterstützen. Dazu wird die Struktur der SESAM-Modelle untersucht, für das Modellverständnis interessante Merkmale identifiziert, und eine visuelle Beschreibungssprache für SESAM-Modelle erarbeitet. Möglichkeiten zur automatischen Prüfung der SESAM-Modelle nach syntaktischen und semantischen Gesichts-punkten werden entwickelt und umgesetzt.
format application/pdf
1321517 Bytes
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-2121&engl=1
language ger
publisher Stuttgart, Germany, Universität Stuttgart
relation Diploma Thesis No. 2121
source ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2121/DIP-2121.pdf
subject Object-oriented Programming (CR D.1.5)
Software Engineering Design Tools and Techniques (CR D.2.2)
Software Engineering Coding Tools and Techniques (CR D.2.3)
Software Engineering Programming Environments (CR D.2.6)
Software Engineering Software Architectures (CR D.2.11)
Programming Language Constructs and Features (CR D.3.3)
Programming Languages Processors (CR D.3.4)
title Visualisierung und Prüfung von SESAM-Modellen
type Text
Diploma Thesis